Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐งRISC-V Assembler
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐Static Analysis
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐ฉSystems Programming
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โ
Format Verification
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท5h
๐ก๏ธeBPF Security
Flag this post
Nim 2.2.6
๐ณIncremental Parsing
Flag this post
Vectorizing for Fun and Performance
โกSIMD Vectorization
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐ฆRust Borrowing
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.netยท9h
๐กOpenBSD
Flag this post
Rdza โ Rust Programming, in Polish
๐ฆRust Macros
Flag this post
Loading...Loading more...